docs: Shrink the editable label gallery image
authorMatthias Clasen <mclasen@redhat.com>
Mon, 26 Oct 2020 01:52:51 +0000 (21:52 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 26 Oct 2020 01:52:51 +0000 (21:52 -0400)
Makes it fit better with the other entries.

docs/reference/gtk/images/editable-label.png
docs/tools/widgets.c

index e90793052aedf8f1f546887b333008a10421ce09..a6b11bfd5760b3ead679c92e82449e8667ccc19d 100644 (file)
Binary files a/docs/reference/gtk/images/editable-label.png and b/docs/reference/gtk/images/editable-label.png differ
index d8ebb250939107224ffb207602316e41389a00b2..068ef81f432e865ab8a3a26b168ca8b607c32178 100644 (file)
@@ -666,7 +666,7 @@ create_editable_label (void)
 
   add_margin (vbox);
 
-  return new_widget_info ("editable-label", vbox, MEDIUM);
+  return new_widget_info ("editable-label", vbox, SMALL);
 }
 static WidgetInfo *
 create_separator (void)